CTQ
ANYB-EXS
CHECK2
CHECK
EVAL
XEQ-CAND
TLOOP
START
**TOP**

:ARGLIST(ANYB-EXS-E-CHECK2)
(BA1)
:
BA1
NIL
:ARGLIST(FRIPPLE-G)
(RB)
:
RB
SIZE
:GENL(SIZE)
π
BREAK

(BLIPEVAL broken)
:GETP(SIZE GENL)
(SIZE)
:
PUT(SIZE GENL)
NIL
:
GETP(SIZE SPEC)
NIL
:
(RETFROM 'ANYB-EXS-E-CHECK2)
 Checked examples of SIZE and all entries were confirmed

 This Cand used 116.723 cpu seconds.




 The top 3 Cands are:
    1: Fill in some conjectures involving the concept of Size
    2: Check all things which just barely miss being examples of Number
    3: Coalesce Map-join

 I choose first Cand.       OK?  πi